home *** CD-ROM | disk | FTP | other *** search
/ Fritz: All Fritz / All Fritz.zip / All Fritz / FILES / PROGMISC / PROLOG.LZH / READ.ME < prev   
Text File  |  1986-11-07  |  4KB  |  199 lines
  1.  
  2.  
  3.  
  4.         Updated  11/6/86
  5.  
  6.                 Hello!
  7.  
  8.         The  files  on  this  disk  are  stored  in  archived  form.  The  
  9.         distribution  disk  has  the  following  major objects:
  10.  
  11.         ARC.EXE -
  12.              This   is  the  program  which  extracts  files  from  files 
  13.              archives.  A listing of commands can be obtained by invoking 
  14.              it as "ARC<CR>".  To extract all the files from a particular 
  15.              archive,  type  "ARC -e <archive name,  without  the  "ARC"> 
  16.              <file  name><CR>",  where  <CR> means "ENTER",  or  carriage 
  17.              return.
  18.  
  19.         The archives are stored in one super-archive,  named "PROLOG.ARC" 
  20.         to facilitate modem transfer. Extract the archives by typing: 
  21.  
  22.                                 ARC -e PROLOG *.*
  23.  
  24.  
  25.         PDPROLOG.ARC - 
  26.              a)  PDPROLOG.EXE.  The  public  domain,  proprietary  PROLOG 
  27.              language  interpreter.  You may give PDPROLOG to anyone.  If 
  28.              you purchased a Prolog system from us, another disk contains 
  29.              a copyrighted A.D.A. Prolog system. 
  30.  
  31.              b)  PROLOG.DOC.   You  should  immediately  print  out  this 
  32.              documentation, since it contains the implementation specific 
  33.              information.
  34.  
  35.         PROLOGED.COM -
  36.              A  simple screen editor for invocation  within  Prolog.  You 
  37.              must configure PDPROLOG for memory before use. If the editor 
  38.              does not run,  you haven't configured PD PROLOG properly. If 
  39.              the editor runs but does not work properly,  please  contact 
  40.              the author,  Li Su, at (612)-866-2871.
  41.                   Any  small editor can be installed in place of PROLOGED 
  42.              simply by renaming it to have this name.
  43.  
  44.         ATN.ARC -
  45.              This  archive contains Lou Schumacher's natural  language 
  46.              parser.  The  initials "ATN" stand for augmented  transition 
  47.              network. 
  48.  
  49.         EXPERT.ARC -
  50.              These   are   expert   systems  for  specific   domains   of 
  51.              information. Medical, rockblasting, fault diagnosis, etc.
  52.  
  53.         GAMES.ARC -
  54.              Some simple board games and adventure games in Prolog.  Also 
  55.              a chess King-Rook-King endgame program.
  56.  
  57.  
  58.  
  59.  
  60.  
  61.  
  62.  
  63.  
  64.  
  65.  
  66.  
  67.  
  68.  
  69.  
  70.         LOGIC.ARC
  71.              Contains Skolemization program to convert Predicate Calculus 
  72.              statements  into Prolog statements.  Covers material exposed 
  73.              in Clocksin and Mellish.
  74.         PIE.ARC -
  75.              This   archive  contains Simon  Blackwell's   public  domain  
  76.              expert  system shell program.  The documentation  is  not 
  77.              complete yet.
  78.  
  79.         PUZZLES.ARC -
  80.              The encoding of puzzles in Prolog demonstrates techniques of 
  81.              translating word problems into unambiguous logic.
  82.  
  83.         SAMPLES.ARC -
  84.              This   archive  contains a variety  of   Prolog  programming  
  85.              examples   which  illustrate some of  the  points  of Prolog   
  86.              programming.    Note   that  the  book    mentioned    above 
  87.              unfortunately  contains  numerous mistakes in the  examples.  
  88.              You should refer to these files for the corrections.
  89.  
  90.         UTILITY.ARC -
  91.              Some  reasonably  useful examples of  relational  databases, 
  92.              etc.
  93.  
  94.         VISION.ARC -
  95.              Listings  from  an  article  in Byte  Magazine  on  computer 
  96.              vision, by John and Clara Cuadrado.
  97.  
  98.  
  99.                                           Bob
  100.  
  101.  
  102.  
  103.  
  104.  
  105.  
  106.  
  107.  
  108.  
  109.  
  110.  
  111.  
  112.  
  113.  
  114.  
  115.  
  116.  
  117.  
  118.  
  119.  
  120.  
  121.  
  122.  
  123.  
  124.  
  125.  
  126.  
  127.  
  128.  
  129.  
  130.  
  131.  
  132.  
  133.  
  134.  
  135.  
  136.  
  137.  
  138.  
  139.  
  140.  
  141.  
  142.  
  143.  
  144.  
  145.  
  146.  
  147.  
  148.  
  149.  
  150.  
  151.  
  152.  
  153.  
  154.  
  155.  
  156.  
  157.  
  158.  
  159.  
  160.  
  161.  
  162.  
  163.  
  164.  
  165.  
  166.  
  167.  
  168.  
  169.  
  170.  
  171.  
  172.  
  173.  
  174.  
  175.  
  176.  
  177.  
  178.  
  179.  
  180.  
  181.  
  182.  
  183.  
  184.  
  185.  
  186.  
  187.  
  188.  
  189.  
  190.  
  191.  
  192.  
  193.  
  194.  
  195.  
  196.  
  197.  
  198.  
  199.